Rulzog On Proving Once Again